1

Acceptance, inference, and the multiple-conclusion sequent

Year:
2012
Language:
english
File:
PDF, 165 KB
english, 2012
2

Circularities in the Analysis of Counterfactuals

Year:
2003
Language:
english
File:
PDF, 211 KB
english, 2003
3

On Why the Best Should Always Meet

Year:
2000
Language:
english
File:
PDF, 182 KB
english, 2000
5

THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY

Year:
2012
Language:
english
File:
PDF, 87 KB
english, 2012
6

Base-extension semantics for intuitionistic sentential logic

Year:
2015
Language:
english
File:
PDF, 141 KB
english, 2015